ar X iv : 1 70 8 . 04 02 8 v 1 [ cs . R O ] 1 4 A ug 2 01 7 Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning ( Extended Version )
نویسندگان
چکیده
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers, in order to guide the optimization process and to ensure global optimization. This paper marks the first application of those solvers for planning mobile robot path. In particular, CEGIO has been successfully applied to obtain optimal two-dimensional paths for autonomous mobile robots using off-the-shelf SAT and SMT solvers.
منابع مشابه
Metric Embedding via Shortest Path Decompositions
We study the problem of embedding weighted graphs of pathwidth k into `p spaces. Our main result is an O(kmin{/p,/2})-distortion embedding. For p = 1, this is a super-exponential improvement over the best previous bound of Lee and Sidiropoulos. Our distortion bound is asymptotically tight for any fixed p > 1. Our result is obtained via a novel embedding technique that is based on low depth deco...
متن کاملMultisensory Omni-directional Long-term Place Recognition: Benchmark Dataset and Analysis
Recognizing a previously visited place, also known as place recognition (or loop closure detection) is the key towards fully autonomous mobile robots and self-driving vehicle navigation. Augmented with various Simultaneous Localization and Mapping techniques (SLAM), loop closure detection allows for incremental pose correction and can bolster efficient and accurate map creation. However, repeat...
متن کاملar X iv : 1 70 8 . 02 82 2 v 1 [ qu an t - ph ] 9 A ug 2 01 7 General implementation of arbitrary nonlinear quadrature phase gates
Petr Marek, ∗ Radim Filip, Hisashi Ogawa, Atsushi Sakaguchi, Shuntaro Takeda, Jun-ichi Yoshikawa, 3 and Akira Furusawa † Department of Optics, Palacký University, 17. listopadu 1192/12, 77146 Olomouc, Czech Republic Department of Applied Physics, School of Engineering, The University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656, Japan Quantum-Phase Electronics Center, School of Engineering,...
متن کاملEvaluation of Three Vision Based Object Perception Methods for a Mobile Robot
This paper addresses object perception applied to mobile robotics. Being able to perceive semantically meaningful objects in unstructured environments is a key capability in order to make robots suitable to perform high-level tasks in home environments. However, finding a solution for this task is daunting: it requires the ability to handle the variability in image formation in a moving camera ...
متن کاملThe CARESSES EU-Japan project: making assistive robots culturally competent
The nursing literature shows that cultural competence is an important requirement for effective healthcare. We claim that personal assistive robots should likewise be culturally competent, that is, they should be aware of general cultural characteristics and of the different forms they take in different individuals, and take these into account while perceiving, reasoning, and acting. The CARESS...
متن کامل